matrices theorem